The free topological group over the rationals
نویسندگان
چکیده
منابع مشابه
Geometric Searching over the Rationals
We revisit classical geometric search problems under the assumption of rational coordinates. Our main result is a tight bound for point separation, ie, to determine whether n given points lie on one side of a query line. We show that with polynomial storage the query time is Θ(log b/ log log b), where b is the bit length of the rationals used in specifying the line and the points. The lower bou...
متن کاملDecidability of the interval temporal logic AABB over the rationals
The classification of the fragments of Halpern and Shoham’s logic with respect to decidability/undecidability of the satisfiability problem is now very close to the end. We settle one of the few remaining questions concerning the fragment AĀBB̄, which comprises Allen’s interval relations “meets” and “begins” and their symmetric versions. We already proved that AĀBB̄ is decidable over the class of...
متن کاملThe complexity of factoring univariate polynomials over the rationals
This tutorial will explain the algorithm behind the currently fastest implementations for univariate factorization over the rationals. The complexity will be analyzed; it turns out that modifications were needed in order to prove a polynomial time complexity while preserving the best practical performance. The complexity analysis leads to two results: (1) it shows that the practical performance...
متن کاملImage partition regularity over the integers, rationals and reals
There is only one reasonable definition of kernel partition regularity over any subsemigroup of the reals. On the other hand, there are several reasonable definitions of image partition regularity. We establish the exact relationships that can hold among these various notions for finite matrices and infinite matrices with rational entries. We also introduce some hybrid notions and describe thei...
متن کاملFree Modules over Cartesian Closed Topological Categories
The construction of free R-modules over a cartesian closed topological category X is detailed (where R is a ring object in X), and it is shown that the insertion of generators is an embedding. This result extends the well-known construction of free groups, and more generally of free algebras over a cartesian closed topological category.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: General Topology and its Applications
سال: 1979
ISSN: 0016-660X
DOI: 10.1016/0016-660x(79)90027-8